伪拟E-凸函数及其一些性质

定义了2种新的凸函数--伪-拟-E-凸函数及伪-拟-半-E-凸函数.并给出了2类新凸函数的一些性质及其证明.     

基于CBERS CCD数据的鹿洼煤矿塌陷区LUCC检测

本文基于多时相中巴地球资源卫星CBERS CCD数据,以鹿洼煤矿塌陷区为例,利用混合像元分解技术开展土地利用/覆盖变化LUCC检测.分别选取研究区域的2002年、2006年和2010年3个时相的CBERSCCD图像作为遥感数据源,将粒子群优化算法引入到端元提取中,基于线性光谱混合模型提取鹿洼煤矿塌陷区水体、建筑用地、农田和土壤4类地物信息,并对结果进行统计分析.LUCC检测结果表明,2002年至2010年间,鹿洼煤矿塌陷地面积逐年增加,造成大面积农田积水,导致无法进行作物耕种.最后,结合当地政府采取的塌陷地治理措施分析了土地利用变化情况.     

基于SuperMap.Deskpro.Net三维建模及二、三维一体化的应用研究

分析了3DGIS的功能、研究内容以及缺陷.通过对3DGIS和2DGIS比较得出二、三维一体化的必要性.运用Supermap.Deskpro.Net建立三维场景,进行山体和城市三维建模、城市三维快速建模、二、三维一体化搡作、联动显示、属性修改、SQL查询等,研究二、三雏一体化的特点和优势,并对相关问题进行探讨.     

鄱阳湖区两套水面数字的解读——以余干县大塘乡的资料为例

本文以鄱阳湖在社会生活里为考察对象,在前人研究的基础上,充分结合所获得的族谱、官方档案、口述资料等,力求能够更加深入地反映湖区人群在历史时期的生存状态,为湖区更加和谐持续的发展提供借鉴。     

模型势MCP应用于分子间相互作用的研究

使用模型势MCP计算了含重元素的氢键和vail der Waals相互作用体系的几何结构与结合能。结果表明，在MP2水平，应用MCP基组研究分子间相互作用时，可以使用Boys和Bernardi提出的均衡校正法进行基函数重叠误差（BSSE）校正；与同一水平的全电子基组相比，经BSSE校正后的结合能AEcP平均相对误差为5．2％，结果准确，但是BSSE普遍较大；使用MCP基组的计算时间远小于全电子基组，MCP方法的效率随原子的电子层数增加而提高。     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

Rough Sets and Three Valued Connectives Extended Abstract

<正>1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of rough sets showing that if from a mathematical standpoint we obtain sound results,the interpretation with respect to     

基于遗传算法的一种粗糙集知识约简算法

知识约简是粗糙集理论研究的重要内容之一,是在保持信息系统分类能力不变的基础上,删除冗余知识.文中从系统的信息表出发,根据可辨别下三角矩阵,利用遗传算法,提出一种基于遗传算法的粗糙集知识约简算法,并通过实验分析说明,这种算法可以解决现有启发式算法无法解决的部分问题.     

L集合范畴中的极限

以范畴论为基础，引入L集合范畴Set（L）概念，分别研究了Set（L）中的极限与余极限问题，同时给出了Set（L）中极限的具体结构和一些性质．     

A Note on Menon Difference Sets

证明了具有同态象Ｚ４×Ｚｐ的４ｐ２阶群中不存在Ｍｅｎｏｎ差集（ｐ≥５，ｐ≡３（ｍｏｄ４）），并指出在某些情形下Ｔｕｒｙｎ的指数界可以改善。